MOLOGLuis Fariñas del Cerro, MOLOG A system that extends PROLOG with modal logic, New Generation Computing, 4:35-50, 1986Luis Farinas Del Cerro et Marti Penttonen, a note on the complexity of the satisfiability of moal Horn clauses, The journal of logic programming, volume 4, issue 1, mars 1987 Philippe Balbiani, Luis Farinas Del Cerro et Andreas Herzig, Declarative semantics for Modal Logic Programming, Fifth Generation Computer Systems'88est une généralisation du langage Prolog permettant d'étendre le paradigme de la Programmation logique à la logique non classique et en particulier à la logique modale, la logique aléthique ou la logique temporelle. Le nom MOLOG est un acronyme de MOdal LOGic et également une référence à l'acronyme PROLOG, PROgrammation